Wyniki
-
An Elementary Proof of Strong Normalization for Atomic F
Fernando Ferreira, Gilda Ferreira
Bulletin of the Section of Logic , 45 /1 (2016) s. 1-16 -
Completeness of an action logic for timed transition Systems
Fernando Naufel do Amaral, Edward Hermann Haeusler
Bulletin of the Section of Logic , 29 /4 (2000) s. 151-159